THE LOGICAL SYSTEM OF FREGE'S GRUNDGESTZE: A RATIONAL RECONSTRUCTION
نویسندگان
چکیده
منابع مشابه
a study on construction of iranian life tables: the case study of modified brass logit system
چکیده ندارد.
15 صفحه اولSTUDYING THE BEHAVIOR OF SOLUTIONS OF A SECOND-ORDER RATIONAL DIFFERENCE EQUATION AND A RATIONAL SYSTEM
In this paper we investigate the behavior of solutions, stable and unstable of the solutions a second-order rational difference equation. Also we will discuss about the behavior of solutions a the rational system, we show these solutions may be stable or unstable.
متن کاملA Rational Reconstruction of a System for Experimental Mathematics
In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, proving and disproving for mathematical discovery in non-associative algebra. While the system has generated novel, fully verified theorems, their construction involved a lot of ad hoc communication between disparate systems. In this ...
متن کاملA Logical Reconstruction of SPKI
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI’s key innovation was the use of local names. We previously introduced a Logic of Local Name Containment that has a clear semantics and was shown to completely characterize SDSI name resolution. Here we show how our earlier approach can be extended to deal with a number of key fe...
متن کاملstudying the behavior of solutions of a second-order rational difference equation and a rational system
in this paper we investigate the behavior of solutions, stable and unstable of the solutions a second-order rational difference equation. also we will discuss about the behavior of solutions a the rational system, we show these solutions may be stable or unstable.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Manuscrito
سال: 2015
ISSN: 0100-6045
DOI: 10.1590/0100-6045.2015.v38n1.mcemp